The fixed field of H is the set
EH = {x ∈ E | φ x) = x for all φ ∈ H}.